Buy Used and New Amir Pnueli Books

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)

by Behnam Banieqbal, Howard Barringer, Amir Pnueli

ISBN 13: 9783540518037

Format: Paperback (448 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog

ISBN 13: 9781447125136

Format: Paperback (528 pages)
Publisher: Springer
Published: 14 Mar 2012

Save for later